An Interpretation of Belief Functions by means of a Probabilistic Multi-modal Logic
نویسنده
چکیده
While belief functions may be seen formally as a generalization of probabilistic distributions, the question of the interactions between belief functions and probability is still an issue in practice. This question is difficult, since the contexts of use of these theory are notably different and the semantics behind these theories are not exactly the same. A prominent issue is increasingly regarded by the community, that is the management of the conflicting information. Recent works have introduced new rules for handling the conflict redistribution while combining belief functions. The notion of conflict, or its cancellation by an hypothesis of open world, seems by itself to prevent a direct interpretation of belief function in a probabilistic framework. This paper addresses the question of a probabilistic interpretation of belief functions. It first introduces and implements a theoretically grounded rule, which is in essence an adaptive conjunctive rule. It is shown, how this rule is derived from a logical interpretation of the belief functions by means of a probabilistic multimodal logic; in addition, a concept of source independence is introduced, based on a principle of entropy maximization.
منابع مشابه
Probabilistic Belief Logics
Modal logics based on Kripke style semantics are the prominent formalism in AI for modeling beliefs Kripke semantics involve a collection of possible worlds and a relation among the worlds called an accessibility relation Dependent on the properties of the accessibility relation di erent modal operators can be captured Belief operators have been modeled by an accessibility relation which produc...
متن کاملA modal logic for fusing partial beliefof multiple
We present PL n , a multi-agent epistemic logic where each agent can perform uncertain (possibilistic) reasoning. The original feature of this logic is the presence of a distributed belief operator, with the purpose of merging the belief of diierent agents. Unlike the corresponding operator in the categorical (non-uncertain) case, our distributed belief operator accumulates support for the same...
متن کاملDoxastic Reasoning with Multi-Source Justifications based on Second Order Propositional Modal Logic
In multi-agent systems, an agent generally forms her belief based on information from multiple sources, such as messages from other agents or perception of the external environment. While modal epistemic logic has been a standard formalism for reasoning about agent’s belief, it lacks the expressive power for tracking information sources. Justification logic (JL) provides the missing expressivit...
متن کاملKnowledge Means 'All', Belief Means 'Most'
We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalized ‘majority ’ quantifier, interpreted as truth in many (a ‘majority ’ of the) epistemically alternative states. This doxastic interpretation is of interest in KR applications and it also has an independent philosophical and technical interest. The logic...
متن کاملA simple modal logic for belief revision: Extended Abstract
The notions of static belief and of belief revision have been extensively studied in the literature. However, there is a surprising lack of uniformity in the two approaches. In the philosophy and logic literature the notion of static belief has been studied mainly within the context of modal logic. On the syntactic side a belief operator B is introduced, with the intended interpretation of B as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1109.6401 شماره
صفحات -
تاریخ انتشار 2011